1. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
2. A first course in fuzzy logic
پدیدآورنده : Nguyen, Hung T.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Textbooks ، Neural networks )Computer science(,Textbooks ، Fuzzy logic
رده :
QA
76
.
87
.
N497
2006
3. A first course in fuzzy logic
پدیدآورنده : / Hung T. Nguyen, Elbert A. Walker
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Neural networks (Computer science)- Textbooks,Fuzzy logic- Textbooks
رده :
QA76
.
87
.
N497
2006
4. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
5. Advanced mathematics :
پدیدآورنده : Stanley J. Farlow.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
رده :
QA37
.
3
6. Advanced mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
7. An introduction to logical theory /
پدیدآورنده : Aladdin M. Yaqub.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and logic, Textbooks.,Logic, Textbooks.,Langage et logique, Manuels d'enseignement supérieur.,Logique, Manuels d'enseignement supérieur.,Language and logic.,Logic.,Logik
رده :
BC15
.
Y36
2013
8. Argument and argumentation
پدیدآورنده : Saindon, Jean
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Textbooks ، Reasoning,، Fallacies )Logic(,، Critical thinking
رده :
BC
177
.
S2
2008
9. Bridge to abstract mathematics /
پدیدآورنده : Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
10. Discrete and decision
پدیدآورنده : / Ian Bloomfield, John Stevens
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Mathematics -- Textbooks,Logic, Symbolic and mathematical
رده :
510
B655d
11. Einfuhrung in die Logik
پدیدآورنده : \ Ansgar Beckermann.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Textbooks.,منطق -- کتاب‌های درس
رده :
BC114
.
B43
E35
2014
12. Formal logic :
پدیدآورنده : Richard Jeffrey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : First-order logic, Textbooks.,First-order logic.
رده :
BC128
.
J43
2006
13. Formal logic :
پدیدآورنده : Paul Hoyningen-Huene ; translated by Alex Levine
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks
رده :
BC135
.
H6913
2004
14. How to read and do proofs :
پدیدآورنده : Daniel Solow (Department of Operations, Weatherhead School of Management, Case Western Reserve University, Cleveland, OH 44106, e-mail daniel.solow@case.edu, web http://weatherhead.cwru.edu/solow)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
S65
2014
15. How to read and do proofs: an introduction to mathematical thought processes
پدیدآورنده : Solow, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
S65
2005
16. Introduction to logic
پدیدآورنده : Copi, Irving M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Logic- Textbooks
رده :
BC
108
.
C6I5
2004
17. Introduction to logic
پدیدآورنده : Copi, Irving M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Logic
رده :
BC
108
.
C69
2009
18. Introduction to logic
پدیدآورنده : Copi, Irving M.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Logic
رده :
BC
108
.
C66I52
1994
19. Introduction to mathematical proofs :
پدیدآورنده : Charles E. Roberts, Jr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
20. Introductory physics with algebra: mastering problem-solving
پدیدآورنده : Loucks, Stuart E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Mathematical physics,Textbooks ، Algebraic logic,Mathematics - Textbooks ، Problem solving
رده :
QC
20
.
7
.
A4
L68
2007
